2281. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
المؤلف: edited by R.E. Shostak
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
170
2282. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
المؤلف: edited by R.E. Shostak
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
170
2283. 8th International Conference on Automated Deduction : Oxford, England, July 27 - August 1, 1986: Proceedings
المؤلف: edited by Jorg H. Siekmann
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
230
2284. 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
المؤلف: edited by Jorg H. Siekmann
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
230
2285. theory-Hybrid logic and its proof
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Proof theory. ; Logic, Symbolic and mathematical. ;
2286. tractatus logico-Philosophicus. The German text Logisch-Philosophische Abhandlung
المؤلف: / with a new translation by D. F. Pears
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Logic, Symbolic and mathematical,Languages - Philosophy
رده :
BC135
.
W5
1961
2287. λ-Calculus and Computer Science Theory :
المؤلف: edited by C. Böhm. B�ohm, C.,
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic, Symbolic and mathematical.
رده :
QA9
.
5
E358
1975
2288. تقابل منطق قدیم وجدید
المؤلف: / هنری ویچ,ویچ,Veatch
المکتبة: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع: منطق,Logic,منطق ریاضی,Logic, Symbolic and mathematical, -- مقاله‌ها و خطابه‌ها, -- Addresses, essays, lectures, -- مقاله‌ها و خطابه‌ها, -- Addresses, essays, lectures,a02,a02,a05,a05
رده :
BC
۷۸
/
م
۹
و
۹ ۱۳۹۸
2289. تقابل منطق قدیم وجدید
المؤلف: /هنری ویچ,ویچ,Veatch
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: منطق,Logic,منطق ریاضی,Logic, Symbolic and mathematical, -- مقاله‌ها و خطابه‌ها, -- Addresses, essays, lectures, -- مقاله‌ها و خطابه‌ها, -- Addresses, essays, lectures,a02,a02,a05,a05
رده :
BC
۷۸
/
ف
۲
و
۹ ۱۳۹۸
2290. درآمدی به منطق جدید
المؤلف: / نویسنده: ضیاء موحد.,ص. ع. ب‍ه‌ان‍گ‍ل‍ی‍س‍ی:Zia Movahhed. An introduction to modern logic.,موحد
المکتبة: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع: منطق ریاضی,Logic, symbolic and mathematical,a06,a06
رده :
QA
۹
/
م
۸۵
د
۴ ۱۳۶۸
2291. درآمدی به منطق جدید
المؤلف: /نویسنده ضیاء موحد.,موحدمحمدی
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,a06,a06
رده :
QA
۹
/
م
۹
د
۴ ۱۳۹۸
2292. رساله منطقی ـ فلسفی: فارسی، آلمانی، انگلیسی
المؤلف: / لودویگ ویتگنشتاین,عنوان اصلی: Tractatus logico-philosophicus ,1992.,ویتگنشتاین,Wittgenstein
المکتبة: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع: زبان و منطق,Language and logic,منطق ریاضی,Logic, Symbolic and mathematical,زبان,Language and languages,فلسفه آلمانی,Philosophy, German, -- فلسفه, -- Philosophy, -- قرن ۲۰م., -- 20th century,a02,a02,a03,a03,a01,a01,a04,a04
رده :
B
۳۳۷۶
/
و
۹
ر
۵ ۱۳۹۹
2293. رساله منطقی ـ فلسفی: فارسی، آلمانی، انگلیسی
المؤلف: / لودویگ ویتگنشتاین,عنوان اصلی: Tractatus logico-philosophicus ,1992.,ویتگنشتاین,Wittgenstein
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: زبان و منطق,Language and logic,منطق ریاضی,Logic, Symbolic and mathematical,زبان,Language and languages,فلسفه آلمانی,Philosophy, German, -- فلسفه, -- Philosophy, -- قرن ۲۰م., -- 20th century
رده :
B
۳۳۷۶
/
و
۹
ر
۵۲ ۱۴۰۰
2294. روش های اثبات
المؤلف: ولمن Velleman دانیل ج. , Daniel J.
المکتبة: (کرمان)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics
رده :
QA
9
/
و
8
ر
9
1400
2295. روش‌های اثبات
المؤلف: / تالیف دانیل ولمان,عنوان اصلی: How to prove it : a structured approach,2nd ed,2006.,ولمن,Velleman
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics,a01,a01,a02,a02
رده :
QA
۹
/
و
۸
ر
۹ ۱۳۹۸
2296. فلسفه ریاضیات
المؤلف: دامت Dummett ، مایکل ا. ای. , Michael A. E.
المکتبة: (کرمان)
موضوع: ریاضیات, Mathematics, منطق ریاضی, Logic, Symbolic and mathematical
رده :
QA
8/4
/
د
2
ف
8
1397
2297. فلسفه ریاضیات
المؤلف: مایکل دامت,دامت,Dummett
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: ریاضیات,Mathematics,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a02
رده :
QA
۸
/
۴
/
د
۲
ف
۸ ۱۳۹۶
2298. مبحثی در منطق ریاضی
المؤلف: / شاسی‌موهان سریواستاوا,A course on mathematical logic, ]2013].
المکتبة: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع: منطق ریاضی -- کتاب‌های درسی,Textbooks -- Logic, Symbolic and mathematical
رده :
۵۱۱
/
۳
س
۵۲۶
م
2299. مختصری از منطق ریاضی (حساب محمولات)
المؤلف: / گردآورنده غلامرضا یاسیپور.,یاسیپور
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,a01
رده :
QA
۹
/
ی
۲
م
۳ ۱۳۹۶
2300. م‍دخ‍ل منطق ص‍ورت، ی‍ا، منطق ریاضی
المؤلف: / ن‍گ‍ارش غ‍لام‍ح‍س‍ی‍ن م‍ص‍اح‍ب.,م‍ص‍اح‍ب
المکتبة: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع: منطق ریاضی,Logic, symbolic and mathematical,a06,a06
رده :
QA
۹
/
م
۶
م
۴ ۱۳۶۶
